Plexil-Like Plan Execution Control in Agent Programming
نویسنده
چکیده
BDI-based agent programming languages are well-known technologies for implementing autonomous agents in dynamic environments. Supporting robot programming however requires the plan representation and execution control capabilities of these languages to be extended for 1-) controlling and monitoring the execution of actions in complex arrangements and 2-) coordinating the parallel execution of plans over shared resources. To this end, this paper adapts and extends PLEXIL, an expressive and well-defined robotic plan execution language, for plan representation and execution in BDI-based agent programming languages. The syntax and semantics of the new language is presented and its integration in operational semantics of BDI-based agent programming languages is discussed.
منابع مشابه
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive Verification Environment (PLEXIL5), a graphical interface to the formal executable semantics of PLEXIL. Among its main features, PLEXIL5 provides model checking of plans w...
متن کاملPlan Execution Interchange Language (plexil) for Executable Plans and Command Sequences
Space mission operations require flexible, efficient and reliable plan execution. In typical operations command sequences (which are a simple subset of general executable plans) are generated on the ground, either manually or with assistance from automated planning, and sent to the spacecraft. For more advanced operations more expressive executable plans may be used; the plans might also be gen...
متن کاملA Formal Framework of Set Relations and Its Application to Synchronous Languages
Set relations are particularly suitable for specifying the smallstep operational semantics of synchronous languages. We present a framework for the definition, formal verification of properties, and execution of binary set relations. The framework consists of two parts. The first part is a library in the Prototype Verification System (PVS) that contains definitions and proofs of properties, suc...
متن کاملRewriting Logic Semantics of a Plan Execution Language
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEX...
متن کاملA Formal Analysis Framework for PLEXIL
The Plan Execution Interchange Language (PLEXIL) is a rich concurrent and reactive language developed by NASA to support autonomous commanding and monitoring for a variety of space systems. In this paper, we propose a semantic framework for the analysis of PLEXIL. In particular, the semantic framework allows for the formal study of properties such as determinism, compositionality, run to comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014